xen/arm: support for guest SGI
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Tue, 7 May 2013 14:12:41 +0000 (15:12 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 8 May 2013 10:02:15 +0000 (11:02 +0100)
commitfbe58dd099cb8f2a86bd7cb0f8db14857ced1a8c
treee2189a576e10313622b690b16e3d929587458d1d
parentd1688bd8f94402f61a8d74cac908f05b5f5fbc88
xen/arm: support for guest SGI

Trap writes to GICD_SGIR, parse the requests, inject SGIs into the right
guest vcpu.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic.c
xen/include/asm-arm/gic.h